机译:使用彩色混合培养网的空间仲裁感应建模及模拟模型检查
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:一种改进的有色Petri网模型,用于异构嵌入式系统中的软件组件分配
机译:使用有色Petri网和模型检查对组件模型进行形式化建模和验证
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用彩色Petri网和模型检查来验证工业安全功能
机译:用有色petri网建模环境系统。